package ewu.expressions

import ewu._

/**
 * Diese Klasse ist die abstrakte Oberklasse der Quantoren.
 * Dazu werden die Laufvariable "variable", der zu durchlaufende
 * Indizebereich "range" sowie die zu pruefende BoolExpression
 * "booli" festgelegt.
 * 
 * Es exisitiert einen evaluate-Funktion zum auswerten, sowie
 * eine toString-Funktion fuer die Ausgabe.
 */

abstract class Quantor(variable: String, range: ValueRange, booli: BoolExpression) extends BoolExpression {
  def evaluate(env: Environment): Option[Boolean]

  def toString: String


}